Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
511	A Look inside the Distributionally Similar Terms Kow Kuroda [removed] Jun’ichi Kazama [removed] Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2010-08-22 02:41:25 Statistics Semantics Cognitive science Hyponymy WordNet Distributional hypothesis Cluster analysis Semantic similarity Modal logic Linguistics Science Computational linguistics
512	Diachronic semantics of the modal verb -sóból- in Luganda: A corpus-driven approach Add to Reading List Source URL: tshwanedje.com Language: English - Date: 2014-07-19 13:14:24 Discourse analysis Applied linguistics Computational linguistics Linguistic modality Epistemic modality Modal verb Modal logic Text corpus Bantu languages Linguistics Grammatical moods Semantics
513	Reasoning about Actions and Change: From Single Agent Actions to Multi-agent Actions (Extended Abstract) Chitta Baral Faculty of Computer Science and Engineering Arizona State University Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2011-06-04 22:29:10 Logic programming Modal logic Artificial intelligence Multi-agent systems Epistemic modal logic Philosophical logic Common knowledge Stable model semantics Situation calculus Logic Science Mathematical logic
514	Event-Based Runtime Verification of Java Programs Marcelo d’Amorim ∗ † Kestrel Technology Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2006-07-12 15:18:19 Formal methods Logic in computer science Cross-platform software Temporal logic AWK Runtime verification Model checking Modal logic Formal verification Computing Software engineering Software
515	Finitary S5-Theories Tran Cao Son1 , Enrico Pontelli1 , Chitta Baral2 , and Gregory Gelfond2 1 2 Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2014-08-06 20:47:54 Model theory Philosophical logic Modal logic Non-classical logic Universal algebra Μ operator Epistemic modal logic Common knowledge Structure Logic Mathematical logic Mathematics
516	Model-based runtime analysis of distributed reactive systems Andreas Bauer Martin Leucker Christian Schallhart Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2006-04-26 23:57:05 Logic in computer science Diagnosis Runtime verification Linear temporal logic Model checking Medical diagnosis Actor model Modal logic Temporal logic Logic Artificial intelligence Formal methods
517	Goal specification using temporal logic in presence of non-deterministic actions Chitta Baral Matt Barry Department of Computer Sc. and Engg. Advance Tech Development Lab Arizona State University Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2007-09-11 20:03:24 Mathematics Linear temporal logic CTL* Model theory Modal logic Structure Temporal logic Logic Mathematical logic
518	A Modal Pupil Here is a description of a modal pupil who took part in the original CensusAtSchool in[removed]She is a female, 150 cm tall with a right foot length of 22 cm in Year 7 at school and born in England. She live Add to Reading List Source URL: www.censusatschool.org.uk Language: English - Date: 2013-02-13 07:00:03 Pupil Modal logic
519	PDF Document Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2006-07-25 10:48:42 Modal logic Philosophy Logic Norm Deontic logic
520	Lemma 1 Ltd. 2nd Floor 31A Chain St. Reading Berks RG1 2HX Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2011-07-27 09:29:54 Modal logic Philosophical logic Logic in computer science Non-classical logic Philosophy of language Accessibility relation Epistemic modal logic Propositional calculus HOL Logic Mathematical logic Mathematics

UPDATE